Combining Texts

All the ideas for 'Syntagma', 'Letters to Jacques Lenfant' and 'Principles of Theoretical Logic'

expand these ideas     |    start again     |     specify just one area for these texts

6 ideas

4. Formal Logic / C. Predicate Calculus PC / 1. Predicate Calculus PC
17750 The first clear proof of the consistency of the first order predicate logic was in 1928 [Hilbert/Ackermann, by Walicki]
8. Modes of Existence / B. Properties / 8. Properties as Modes
16730 If matter is entirely atoms, anything else we notice in it can only be modes [Gassendi]
8. Modes of Existence / C. Powers and Dispositions / 2. Powers as Basic
12723 The most primitive thing in substances is force, which leads to their actions and dispositions [Leibniz]
14. Science / D. Explanation / 2. Types of Explanation / j. Explanations by reduction
16619 We observe qualities, and use 'induction' to refer to the substances lying under them [Gassendi]
26. Natural Theory / A. Speculations on Nature / 6. Early Matter Theories / g. Atomism
16593 Atoms are not points, but hard indivisible things, which no force in nature can divide [Gassendi]
16729 How do mere atoms produce qualities like colour, flavour and odour? [Gassendi]